61. Computational Logic - CL 2000 :
Author: edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture.,Computer science.,Software engineering.
Classification :
QA76
.
9
.
L63
E358
2000
62. Computational Methods in Stochastic Dynamic
Author: / edited by Manolis Papadrakakis, George Stefanou, Vissarion Papadopoulos
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Engineering,Computer science,Vibration,Electronic books
Classification :
E-BOOK
63. Computational logic and set theory :
Author: Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Set theory
Classification :
QA248
.
S39
2011eb
64. Computational matter /
Author: Susan Stepney, Steen Rasmussen, Martyn Amos, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electronic data processing.,Natural computation, Congresses.,Soft computing.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Electronic data processing.,Natural computation.,Soft computing.
Classification :
QA76
65. Computer Aided Systems Theory - EUROCAST '95 :
Author: edited by Franz Pichler, Roberto Moreno Díaz, Rudolf Albrecht.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computers, Special purpose.,Microprocessors.
Classification :
TA345
.
E358
1996
66. Computer Aided Verification :
Author: edited by Rajeev Alur, Thomas A. Henzinger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
67. Computer Aided Verification :
Author: edited by Gregor Bochmann, David Karl Probst.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
68. Computer Aided Verification :
Author: Isil Dillig, Serdar Tasiran (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
758
.
C38
2019
69. Computer Engineering and Technology :
Author: edited by Weixia Xu, Liquan Xiao, Pingjing Lu, Jinwen Li, Chengyi Zhang.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Memory management (Computer science)
70. Computer Graphics :
Author: edited by Tosiyasu L. Kunii.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer graphics.,Computer science.,Computer-aided design.
Classification :
T385
.
E358
1983
71. Computer and communication engineering :
Author: Miguel Botto-Tobar, Julio Barzola-Monteses, Eduardo Santos-Baquerizo, Mayken Espinoza-Andaluz, Wendy Yánez-Pazmiño (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering, Congresses.,Computer networks, Congresses.,Software engineering, Congresses.,Computer engineering.,Computer networks.,Software engineering.
Classification :
TK7885
.
A1
72. Computer performance engineering :
Author: Nigel Thomas (edition)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering, Congresses,Computer systems-- Evaluation, Congresses,Computers-- Reliability, Congresses,Formal methods (Computer science), Congresses
Classification :
QA76
.
9
.
E94
E64
2011
73. Computer supported education :
Author: Bruce M. McLaren, Rob Reilly, Susan Zvacek, James Uhomoibhi (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer-assisted instruction, Congresses.,Education-- Data processing, Congresses.,Computer-assisted instruction.,Education-- Data processing.
Classification :
LB1028
.
5
74. Computing in Horn Clause Theories
Author: by Peter Padawitz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
6
B974
1988
75. Conceptual modeling :
Author: Juan C. Trujillo, Karen C. Davis, Xiaoyong Du, Zhanhuai Li, Tok Wang Ling, Guoliang Li, Mong Li Lee (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Database design, Congresses.,Web databases, Congresses.,Artificial Intelligence.,Data Mining and Knowledge Discovery.,Database Management.,Information Systems Applications (incl. Internet).,Mathematical Logic and Formal Languages.,Software Engineering.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Data mining.,Database design.,Databases.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Web databases.
Classification :
QA76
.
9
.
D26
76. Conceptual modeling--ER 2011 :
Author: Manfred A. Jeusfeld, Lois Delcambre, Tok Wang Ling (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation, Congresses,Conceptual structures (Information theory)-- Congresses,Database design, Congresses,Relational databases-- Congresses
Classification :
QA76
.
9
.
C65
I58
2011
77. Concurrency, Compositionality, and Correctnes
Author: / edited by Dennis Dams, Ulrich Hannemann, Martin Steffen
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer science.,Software engineering.,Computer software.,Logic design.
78. Constructive Methods in Computing Science :
Author: edited by Manfred Broy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA75
.
5
E358
1989
79. Cybernetics and systems '86 :
Author: organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
Classification :
Q300
.
O743
1986
